座談会 D.スコット博士を囲んで スコットのプログラム意味論